System FC - mrsekut-p

System FC

System F with type equality coercions

https://www.microsoft.com/en-us/research/publication/system-f-with-type-equality-coercions/

Simon Peyton Jones